A Formal Framework for Agency and Autonomy
نویسندگان
چکیده
With the recent rapid growth of interest in MultiAgent Systems, both in arti cial intelligence and software engineering, has come an associated di culty concerning basic terms and concepts. In particular, the terms agency and autonomy are used with increasing frequency to denote di erent notions with di erent connotations. In this paper we lay the foundations for a principled theory of agency and autonomy, and specify the relationship between them. Using the Z speci cation language, we describe a three-tiered hierarchy comprising objects, agents and autonomous agents where agents are viewed as objects with goals, and autonomous agents are agents with motivations.
منابع مشابه
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems
This paper describes a project which is using Z in the field of artificial intelligence (AI) to provide a defining framework for agency and autonomy. Specifically, the use of Z has provided a means for escaping from the terminological chaos surrounding agency and autonomy that is prevalent not just in the AI community, but also in other areas of computer science. We outline how we have develope...
متن کاملFormalising the Contract Net as a Goal-Directed System
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agency and autonomy. In this paper we outline the framework and re ne it by adding further levels of detail to develop a formal model of the Contract Net Protocol. The model serves to make precise both the operations of n...
متن کاملA framework for financial autonomy in universities applying Interpretive Structural Modeling (ISM) technique
The purpose of this study was to provide a framework for financial autonomy of public universities in Tehran with qualitative approach. Due to the limited size of the population, purposive sampling was performed in which 20 experts with experience in the field of university financial management were selected. Semi-structured interviews were used to collect the required data. To achieve the goal...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کامل